A Simple Protocol to Communicate Channels over Channels

In this paper we present the communication protocol that we use to implement rst class channels. Ordinary channels allow data communication (like CSP/Occam); rst class channels allow communicating channel ends over a channel. This enables processes to exchange communication capabilities, making the communication graph highly exible. In this paper we present a simple protocol to communicate channels over channels, and we show that we can implement this protocol cheaply and safely. The implementation is going to be embedded in, amongst others, ultra mobile computer systems. We envisage that the protocol is so simple that it can be implemented at hardware level.